Computability logic - PDFSEARCH.IO - Document Search Engine

Computability logic
Results: 552

#	Item
81	c Cambridge University Press 2009 JFP: page 1 of 24. 1 doi:S0956796809990219 Add to Reading List Source URL: www.cs.ioc.ee Language: English - Date: 2009-10-12 08:32:22 Logic in computer science Programming language semantics Models of computation Computability theory Logic programming Substitution Operational semantics Denotational semantics Lambda calculus Structure
82	A Virtual Machine for Functional Logic Computations⋆ Sergio Antoy1 , Michael Hanus2 , Jimeng Liu1 , and Andrew Tolmach1 1 2 Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2005-03-01 19:29:53 Software engineering Computer programming Computing Programming paradigms Computability theory Subroutines Programming idioms Models of computation Functional programming Curry Prolog Recursion
83	Denotational semantics for lazy initialization of letrec black holes as exceptions rather than divergence Keiko Nakata Institute of Cybernetics at Tallinn University of Technology Abstract We present a denotational seman Add to Reading List Source URL: www.cs.ioc.ee Language: English - Date: 2010-07-30 13:11:03 Theoretical computer science Models of computation Mathematical logic Software engineering Computability theory Denotational semantics Logic in computer science Lambda calculus Substitution Function type
84	RecapRecursion ......... Add to Reading List Source URL: genome.sph.umich.edu Language: English - Date: 2012-09-10 22:41:44 Theoretical computer science Mathematical logic Recursion Computability theory Mechanical puzzles Tower of Hanoi Algorithm Pointer Sorting algorithm
85	On the Uniqueness of Quantum Equilibrium in Bohmian Mechanics S. Goldstein Departments of Mathematics and Physics Rutgers, The State University of New Jersey Add to Reading List Source URL: math.rutgers.edu Language: English - Date: 2007-04-26 11:13:50 Quantum mechanics Position operator De BroglieBohm theory Laws of science Computability theory Linear temporal logic Redescending M-estimator
86	The Ackermann Award 2015 Anuj Dawar, Dexter Kozen, and Simona Ronchi Della Rocca Members of the Jury of the EACSL Ackermann Award Abstract The eleventh Ackermann Award is presented at CSL’15 in Berlin, Germany. This ye Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2015-09-07 05:28:01 Computability theory Theory of computation Mathematical logic EACSL Entscheidungsproblem Complexity Computational complexity theory Algorithm Decision problem Dexter Kozen
87	Newman’s Typability Algorithm Herman Geuvers1 Radboud University Nijmegen and Eindhoven University of Technology The Netherlands Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-11-07 11:07:10 Theoretical computer science Formal methods Mathematical logic Computability theory Type theory Algorithm Lambda calculus Combinatory logic Set theory Gottlob Frege Ernst Zermelo
88	A type system for Continuation Calculus Herman Geuvers joint work with Bram Geron (Birmingham), Wouter Geraedts (Nijmegen), Judith van Stegeren (Nijmegen) Radboud University Nijmegen and Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2014-05-12 17:59:36 Lambda calculus Type theory Mathematical logic Theoretical computer science Software engineering Computability theory System F Calculus Continuation Church encoding Deductive lambda calculus
89	Scheme-based Theorem Discovery and Concept Invention O. Montano-Rivasa , R. McCaslanda , L. Dixona , A. Bundya a School of Informatics, University of Edinburgh, Informatics Forum, 10 Crichton Street, Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-11-08 18:52:08 Automated theorem proving Logic programming Logic in computer science Computability theory Algebraic topology Substitution Unification Lambda calculus Sheaf Scheme Combinatory logic Morphism of algebraic varieties
90	CLASE 2005 Preliminary Version Constructing Induction Rules for Deductive Synthesis Proofs Alan Bundy† 1,2 Lucas Dixon† 3 Jeremy Gow‡ 4 Jacques Fleuriot† 5 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-05-19 12:03:26 Mathematics Mathematical logic Theoretical computer science Computability theory Theory of computation Recursion Type theory Structural induction Mathematical induction Rippling Nqthm Constructible universe

UPDATE